Local consistency - PDFSEARCH.IO - Document Search Engine

Local consistency
Results: 221

#	Item
91	Recent improvements using constraint integer programming for resource allocation and scheduling Stefan Heinz1,? , Wen-Yang Ku2 , and J. Christopher Beck2 1 Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2013-01-18 09:01:20 Mathematics Software engineering Convex optimization Linear programming Local consistency Relaxation Mathematical optimization Constraint programming Operations research
92	Datalog with Constraints: A Foundation for Trust Management Languages Ninghui Li and John C. Mitchell Department of Computer Science, Stanford University Gates 4B, Stanford, CA {ninghui.li, jcm}@cs.stanford.ed Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2002-11-05 19:04:46 Computing Constraint satisfaction Constraint logic programming Datalog Relational model Structure Logic programming Constraint Local consistency Constraint programming Software engineering Computer programming
93	Reconsidering Mixed Integer Programming and MIP-based Hybrids for Scheduling Stefan Heinz1,? and J. Christopher Beck2 1 Zuse Institute Berlin, Takustr. 7, 14195 Berlin, Germany Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2012-03-15 06:47:14 Software engineering Applied mathematics Convex optimization Linear programming Constraint satisfaction Local consistency Cutting-plane method Relaxation Constraint programming Operations research Mathematical optimization
94	A Global Constraint for Total Weighted Completion Time Andr´ as Kov´ acs1,3 and J. Christopher Beck2 1 Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2007-03-26 13:14:36 Applied mathematics Constraint programming Combinatorial optimization Linear programming Local consistency Travelling salesman problem Linear programming relaxation Scheduling Computational complexity theory Operations research Mathematics Mathematical optimization
95	Backtrack-Free Search for Real-Time Constraint Satisfaction? J. Christopher Beck, Tom Carchrae, Eugene C. Freuder, and Georg Ringwelski Cork Constraint Computation Centre University College Cork, Ireland {c.beck, t.carch Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2006-01-18 12:07:28 Search algorithms Applied mathematics Mathematics Constraint satisfaction problem Backtracking Local consistency Artificial intelligence Constraint satisfaction Candidate solution Constraint programming Operations research Mathematical optimization
96	Numeric Bounds Analysis with Conflict-Driven Learning? Vijay D’Silva?? , Leopold Haller, Daniel Kroening, and Michael Tautschnig Computer Science Department, University of Oxford Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2012-07-25 13:39:19 Applied mathematics Electronic design automation Formal methods Logic in computer science NP-complete problems Valuation Boolean satisfiability problem Local consistency Abstract interpretation Theoretical computer science Constraint programming Mathematics
97	Lionbridge Technologies, Inc. (Nasdaq: LIOX) is a leading provider of translation, online marketing, global content management and application testing solutions that ensure global brand consistency, local relevancy and t Add to Reading List Source URL: praca.wwsi.edu.pl Language: English - Date: 2015-03-12 09:24:00 Business Companies listed on the New York Stock Exchange Lionbridge Limited liability company
98	Lionbridge Technologies, Inc. (Nasdaq: LIOX) is a leading provider of translation, online marketing, global content management and application testing solutions that ensure global brand consistency, local relevancy and t Add to Reading List Source URL: praca.wwsi.edu.pl Language: English - Date: 2015-03-12 09:24:52 Business Companies listed on the New York Stock Exchange Lionbridge Limited liability company
99	Lionbridge Technologies, Inc. (Nasdaq: LIOX) is a leading provider of translation, online marketing, global content management and application testing solutions that ensure global brand consistency, local relevancy and t Add to Reading List Source URL: praca.wwsi.edu.pl Language: English - Date: 2015-03-12 09:22:03 Software bug Companies listed on the New York Stock Exchange Lionbridge Quality assurance
100	Trying Again to Fail-First J. Christopher Beck , Patrick Prosser and Richard J. Wallace Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2006-01-18 12:07:28 Search algorithms Heuristic function Heuristic Artificial intelligence Constraint satisfaction problem Local consistency Backtracking Science Innovation Constraint programming Heuristics Operations research

UPDATE